1.
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10...
by Johnsen, Einar Broch, Petre...
ISBN: 9783642386121
List Price: $89.99
2.
Formal Methods for Multicore Programming : 15th International School on Formal Methods for t...
by Bernardo, Marco, Johnsen, E...
ISBN: 9783319189406
List Price: $72.00
3.
Service-Oriented and Cloud Computing : 5th Ifip Wg 2. 14 European Conference, Esocc 2016, Vi...
by Aiello, Marco, Johnsen, Ein...
ISBN: 9783319444819
List Price: $94.00
4.
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10...
by Johnsen, Einar Broch, Petre...
ISBN: 9783642386138
List Price: $95.00
OUT OF STOCK
See Availability on Amazon5.
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of...
by Abraham, Erika, Johnsen, Ei...
ISBN: 9783319307336
List Price: $94.00
6.
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, H...
by Johnsen, Einar Broch, Wimme...
ISBN: 9783030994280
7.
Tests and Proofs : 11th International Conference, TAP 2017, Held As Part of STAF 2017, Marbu...
by Gabmeyer, Sebastian, Johnse...
ISBN: 9783319614663
List Price: $60.00
8.
Service-Oriented and Cloud Computing : 6th IFIP WG 2. 14 European Conference, ESOCC 2017, Os...
by De Paoli, Flavio, Schulte, ...
ISBN: 9783319672618
List Price: $79.99
9.
Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held As ...
by Johnsen, Einar Broch, Schae...
ISBN: 9783319929699
List Price: $79.99